Nuprl Definition : es-valtype
11,40
postcript
pdf
es-valtype(
es
;
e
) == if es-isrcv(
es
;
e
) then es-rcvtype(
es
;
e
) else es-acttype(
es
;
e
) fi
latex
Definitions
if
b
then
t
else
f
fi
,
es-isrcv(
es
;
e
)
,
es-rcvtype(
es
;
e
)
,
es-acttype(
es
;
e
)
FDL editor aliases
es-valtype
origin